霍奇猜想涉及到代数几何、微分几何等多个领域，如果这个猜想能被证明或者反证，那么就能对这些领域的研究产生深远的影响。
将霍奇猜想大概讲了一下，然后林知熠拿起粉笔，在黑板上开始写下她的证明过程，旁边的bina随时翻译。
“在一个复项目流形上，霍奇算子的存在性和唯一性问题，具体来说就是预测一个特定类型的多变量函数即霍奇形式的行为，我可以证明，对于任何的霍奇类，都存在一个对应的霍奇算子使得该函数可以被表达为这个算子的像。”
“首先我先证明每个霍奇类都可以‘看到’到某个特定的空间结构，即所谓的德拉姆-斯托尔泽空间。”
之所以蓝星这些顶尖科学家都没有找到这个猜想的答案，是因为他们不知道是否存在一个通用的方式来构造这样的算子。
而作为拥有大量星际知识的林知熠而言，脑海中已经形成一座‘记忆宫殿’再加上她的智商，即使是第一次见这些猜想她也不会有任何问题。
“假设n≧1，并考虑所有可能的k值，即0≦k≦n。利用霍奇猜想的辅助定理，我们可以得到以下不等式：sum((n choose k)×(n-k)2)......”
林知熠不断讲着，黑板上很快被各种英文、拉丁语、图案等各种看不懂的符号布满。
旁边包括林和韵在内的一众嘉宾、工作人员望着林知熠沉默。
他们何止是看不懂黑板上写了什么，甚至林知熠嘴里说的话他们都听不懂，明明都是中文。
当看到林知熠写满黑板后，杨会欣正想狗腿地冲上去帮着擦黑板。
结果就见王叔从旁边掏出一块新的大黑板让林知熠写，接着在一旁拍照留存备份，一切忙完后他慢悠悠地擦拭黑板。
扫了一眼只得讪讪坐回去的杨会欣，王叔收回视线得意一笑。
‘哼，跟他抢活。’
不只是节目组，包括导演在内的一众工作人员目光呆滞的充当背景板。
原本活跃在弹幕里的网友也沉默着，算起来他们还更煎熬一些，因为他们还要看着直播里时不时充斥着各种语言的大佬留言。
啥也看不懂，啥也不敢说。
至于走？不走，他不仅要自己看，还要让怀孕的妻子看，胎教从此刻开始，争取培养个科学家出来。
“......现在，将左边的求和转换为积分形式，这个积分可以通过计算每个k的贡献求和来完成，这个不等式对于所有的n都成立，因此，霍奇猜想对于n≧1成立，以上就是我的证明过程。”
当林知熠停下书写，转身看着弹幕，却发现此时的弹幕没有一条留言，她挑眉，觉得应该是大家都在思考，所以停下来没有开始讲。
可是当林知熠等了一会儿，才有人出来留言试探性地说前面有很多地方看不懂。
当这个人发言后，仿佛很多科学家回神，开始在弹幕上留言。
林知熠根据他们的留言，开始一一解答，虽然她已经尽可能按照他们能理解的方式讲解了，然后从他们发出来的弹幕中还是能感受到有些人已经晕圈。
大概在一刻普通人对顶尖数学家天赋的重要性有了一个具象化的认知，听得懂就是听得懂，不行就是不行。
这些来自各国的学者虽然自己的能力跟不上林知熠的思维，但是从按照她给出的逻辑，一部分顶尖科学家还是知道林知熠已经证明出来，只是还需要多方面论证。
不过从林知熠的自信不难看出，她欢迎所有人对她的证明过程提出质疑。
当林知熠在证明过程中画上最后一笔时，关于‘林知熠成功证明了霍奇猜想，同时她表示将会证明其余的猜想。’类似的新闻迅速在全世界报道，同时还伴随着她的证明过程。
刚刚发生的世界冲突才结束，所有人都还在议论华国这位新出现的顶级天才，结果她居然又证明了重大猜想。
这个消息一经公开，不同肤色、种族、语言的科学家纷纷试图进入她所在的直播间。
面对这样的情况，国安处收到上级指示，对这些真正的大佬放行，然后可以看见林知熠的直播间涌现越来越多的顶尖人才。
只见视频里，林知熠跳过已经被证明的庞加莱猜想，开始讲关于计算机科学领域的np完全问题。
当她证明出来后，先前的场景又重现了，很多人表示听不懂。
原本林知熠设想的是和诸位同行一起探讨，结果万万没想到这些同行很快渐渐听不懂她在讲什么了。
林知熠看着屏幕，又看向王叔，得到他说视频已经备份的承诺后，林知熠决定按照她自己的节奏讲。
这一次她不想等大家思考了，反正都已经留有备份，等她把所有猜想证明完，他们自行讨论充当审稿人的角色吧。
在直播间几乎安静如鸡时，林知熠开始证明了关于非平凡零点分布的黎曼猜想。
没有悬念，在她证明完以后，录制现场和直播间寂静一片。
林知熠反复确认还没有人跟上以后，有点失望，没想到他们居然连证明过程都听不懂，叹口气，林知熠只能继续开始讲杨-米尔斯存在性和质量缺口。
黎曼猜想属于数学问题，那么杨-米尔斯存在性和质量缺口是物理学方面的重要议题，主要涉及到量子场论。
这个猜想是由杨振宁和米尔斯在1954年提出。
“杨-米尔斯方程组旨在描述基本粒子的行为，并使用非阿贝尔李群和统一的核心的电磁和弱力，以及量子色动力学理论的强留。”还是按照先前讲解的办法，林知熠总体先讲述大概。
存在性是指对于杨-米尔斯方程组，需要证明在特定的规范群和空间维度下，方程组是否有解。
质量缺口则是指在基本粒子物理学中，某些粒子的质量与理论预测值之间存在差异。
看着bina给出的该猜想的正式表示，为防止大家思考太慢，林知熠贴心地念出来，“正式表示是证明对任何紧的、单的规范群、四维欧几里得空间中的杨-米尔斯方程组有一个预言存在质量缺口的解。”
对于林知熠的贴心之举，大概林和韵是最懂的，不过他整个人耷拉着，浑身没精打采。
觉得妹妹完全没有必要，还真以为知道了‘正式表示’就能理解她的证明吗？
看得起谁呢？